Approximating Dense Max 2-CSPs

نویسندگان

  • Pasin Manurangsi
  • Dana Moshkovitz
چکیده

In this paper, we present a polynomial-time algorithm that approximates sufficiently high-value Max 2-CSPs on sufficiently dense graphs to within O(Nε) approximation ratio for any constant ε > 0. Using this algorithm, we also achieve similar results for free games, projection games on sufficiently dense random graphs, and the Densest k-Subgraph problem with sufficiently dense optimal solution. Note, however, that algorithms with similar guarantees to the last algorithm were in fact discovered prior to our work by Feige et al. and Suzuki and Tokuyama. In addition, our idea for the above algorithms yields the following byproduct: a quasi-polynomial time approximation scheme (QPTAS) for satisfiable dense Max 2-CSPs with better running time than the known algorithms.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Birthday Repetition Theorem and Complexity of Approximating Dense CSPs

A (k× l)-birthday repetition G of a two-prover game G is a game in which the two provers are sent random sets of questions from G of sizes k and l respectively. These two sets are sampled independently uniformly among all sets of questions of those particular sizes. We prove the following birthday repetition theorem: when G satisfies some mild conditions, val(G) decreases exponentially in Ω(kl/...

متن کامل

Approximating CSPs with global cardinality constraints using SDP hierarchies

This work is concerned with approximating constraint satisfaction problems (CSPs) with an additional global cardinality constraints. For example, Max Cut is a boolean CSP where the input is a graph G = (V, E) and the goal is to find a cut S ∪ S̄ = V that maximizes the number of crossing edges, |E(S , S̄ )|. The Max Bisection problem is a variant of Max Cut with an additional global constraint tha...

متن کامل

Sub-exponential Approximation Schemes for CSPs: From Dense to Almost Sparse

It has long been known, since the classical work of (Arora, Karger, Karpinski, JCSS 99), that Max-CUT admits a PTAS on dense graphs, and more generally, Max-k-CSP admits a PTAS on “dense” instances with Ω(n) constraints. In this paper we extend and generalize their exhaustive sampling approach, presenting a framework for (1−ε)-approximating any Max-k-CSP problem in sub-exponential time while si...

متن کامل

Fourier analysis and inapproximability for MAX-CUT: a case study

Many statements in the study of computational complexity can be cast as statements about Boolean functions f : {−1, 1} → {−1, 1}. However, it was only very late in the last century that the analytic properties of such functions, often expressed via the Fourier transform on the Boolean hypercube, became the key ingredient in proofs of hardness of approximation. In this short survey, we give a br...

متن کامل

Optimization, Randomized Approximability, and Boolean Constraint Satisfaction Problems

We give a unified treatment to optimization problems that can be expressed in the form of nonnegative-real-weighted Boolean constraint satisfaction problems. Creignou, Khanna, Sudan, Trevisan, and Williamson studied the complexity of approximating their optimal solutions whose optimality is measured by the sums of outcomes of constraints. To explore a wider range of optimization constraint sati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015